<html>
<body>
Replaces an unicode escape sequence in a java file with a regular character.
</body>
</html>